Categorical Abstract Algebraic Logic on Admissible Equivalence Systems
نویسنده
چکیده
Given a sentential logic S there exists a least sentential logic ad S associated with the set S Thm of the theorems of . S If the logic S is equivalential, then the behavioral theorems of S Thm can be determined by an equivalence system for , S but, possibly, they may also be determined by any admissible equivalence system, i.e., an equivalence system for . ad S Babenyshev and Martins studied the relationship between these two equivalence systems for a given sentential logic . S We extend their study to the case of logics formalized as π-institutions. We introduce the basic notions and show how their results can be applied to provide some similar results in the categorical framework.
منابع مشابه
Categorical Abstract Algebraic Logic Local Deduction Theorems for π-Institutions
In this paper, some of the results of Blok and Pigozzi on the local deductiondetachment theorems (LDDT) in Abstract Algebraic Logic, which followed pioneering work of Czelakowski on the same topic, are abstracted to cover logics formalized as π-institutions. The relationship between the LDDT and the property of various classes of I-matrices having locally definable principal I-filters is invest...
متن کاملCategorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems
An extension of parts of the theory of partially ordered varieties and quasivarieties, as presented by Paaasińska and Pigozzi in the framework of abstract algebraic logic, is developed in the more abstract framework of categorical abstract algebraic logic. Algebraic systems, as introduced in previous work by the author, play in this more abstract framework the role that universal algebras play ...
متن کاملCategorical Abstract Algebraic Logic: Equivalential
The theory of equivalential deductive systems, as introduced by Prucnal and Wroński and further developed by Czelakowski, is abstracted to cover the case of logical systems formalized as π-institutions. More precisely, the notion of an N-equivalence system for a given π-institution is introduced. A characterization theorem for N-equivalence systems, previously proven for N-parameterized equival...
متن کاملCategorical Abstract Algebraic Logic: Subdirect Representation for Classes of Structure Systems
The notion of subdirect irreducibility in the context of languages without equality, as presented by Elgueta, is extended in order to obtain subdirect representation theorems for abstract and reduced classes of structure systems. Structure systems serve as models of firstorder theories but, rather than having universal algebras as their algebraic reducts, they have algebraic systems in the sens...
متن کاملCategorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems
The study of structure systems, an abstraction of the concept of firstorder structures, is continued. Structure systems have algebraic systems rather than universal algebras as their algebraic reducts. Moreover, their relational component consists of a collection of relation systems on the underlying functors rather than simply a system of relations on a single set. Congruence systems of struct...
متن کامل